Glacial-Bed Types and Their Radar-Reflection Characteristics
نویسندگان
چکیده
منابع مشابه
A Reflection on Types
The ability to perform type tests at runtime blurs the line between statically-typed and dynamically-checked languages. Recent developments in Haskell’s type system allow even programs that use reflection to themselves be statically typed, using a type-indexed runtime representation of types called TypeRep. As a result we can build dynamic types as an ordinary, statically-typed library, on top ...
متن کاملWhich bed designs and patient characteristics increase bed rail use?
BACKGROUND the design and use of bed rails has been contentious since the 1950s with benefits including safety, mobility support and access to bed controls and disadvantages associated with entrapment and restraint. OBJECTIVE to explore which bed designs and patient characteristics (mobility, cognitive status and age) influence the likelihood of rails being used on UK medical wards. METHOD ...
متن کاملan investigation into elt teachers’ sense of self-efficacy in teaching reading comprehension and their personality types
as far as bandura’s (1977) conceptualization of the sense of self-efficacy is concerned, it is argued to be context- and even task-specific, compared to other concepts like self-esteem (brown, 2000); therefore, upon the previous research studies, related theories and definitions, and the ideas and views obtained from the interviews conducted with the scholars, the current research study aimed a...
Physicochemical characteristics and trophic state evaluation of post glacial mountain lake using multivariate analysis
The current study deals with the physicochemical characterization, temporal variability and trophic state evaluation of a post glacial mountain lake in eastern Himalaya during the period of 2014-2016. Notable seasonal variations are recorded for physicochemical parameters of lake water. The values for electrical conductivity, total suspended solids, total dissolved solids, total alkalinity and ...
متن کاملConstrained Types and their
A constrained type consists of both a standard type and a constraint set. Such types enable ee-cient type inference for object-oriented languages with polymorphism and subtyping, as demonstrated by Eifrig, Smith, and Trifonov. Until now, it has been unclear how expressive constrained types are. In this paper we study constrained types without universal quantiication. We prove that they accept t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Glaciology
سال: 1979
ISSN: 0022-1430,1727-5652
DOI: 10.1017/s0022143000030264